A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Gram Matrices of Mixed-State Ensembles

International Journal of Theoretical Physics - Gram matrices arise naturally in the consideration of pair-wise overlap of a family of vectors or quantum pure states, and play an important role in...     

Editorial to the Special Issue: Adsorption,Absorption and Thermochemical Transport Processes in Complex Porous Structures

Transport in Porous Media - The theme of coupling problems for adsorption, absorption and thermochemical transport in porous media is very important for engineering applications. Based on the...     

An effective multi-channel fault diagnosis approach for rotating machinery based on multivariate generalized refined composite multi-scale sample entropy

Nonlinear Dynamics - Fault diagnosis of critical rotating machinery components is necessary to ensure safe operation. However, the commonly used rotating machinery fault diagnosis methods are...     

Design and fabrication of GeAsSeS chalcogenide waveguides with thermal annealing

We reported a chalcogenide glass-based rib waveguide fabricated using photolithography and dry etching method. A commercial software(COMSOL Multiphysics) was used to optimize the waveguide structure and the distribution of the fundamental modes in the waveguide based on the complete vector finite component. We further employed thermal annealing to optimize the surface and sidewalls of the rib waveguides. It was found that the optimal annealing temperature for Ge As Se S films is 220℃, and the roughness of the films could be significantly reduced by annealing. The zero-dispersion wavelength(ZDW) could be shifted to a short wavelength around ~2.1 μm via waveguide structural optimization, which promotes supercontinuum generation with a short wavelength pump laser source. The insertion loss of the waveguides with cross-sectional areas of 4.0 μm×3.5 μm and 6.0 μm×3.5 μm was measured using lens fiber and the cut-back method. The propagation loss of the 220℃ annealed waveguides could be as low as 1.9 d B/cm at 1550 nm.     

Quantitative Analysis of Al in Flour Products by Laser-Induced Breakdown Spectroscopy Combined with Partial Least Squares

Journal of Applied Spectroscopy - Based on partial least squares (PLS) analysis, the effects of different smoothing points and different preprocessing methods on the accuracy and precision of the...     

Mechanistic Investigation and Conductance Modulation of a Metal-Molecule-Metal Junction via Extra Acid Addition

One important prerequisite for the fabrication of molecular functional device strongly relies on the understanding the conducting behaviors of the metal-molecule-metal junction that can respond to an external stimulus. The model Lewis basic molecule 4,4′-(pyridine-3,5-diyl)dibenzonitrile (DBP), which can react with Lewis acid and protic acid, was synthesized. Then, the molecular conducting behavior of DBP, DBP-B(C₆F₅)₃, and DBP-TfOH (DBP-B(C₆F₅)₃, and DBP-TfOH were produced by Lewis acid and protonic acid treatment of DBP) was researched and compared. Given that their identical physical paths for DBP, DBP-B(C₆F₅)₃, and DBP-TfOH to sustain charge transport, our results indicate that modifying the molecular electronic structure, even not directly changing the conductive physical backbone, can tune the charge transporting ability by nearly one order of magnitude. Furthermore, the addition of another Lewis base triethylamine (of stronger alkaline than DBP), to Lewis acid-base pair reverts the electrical properties back to that of a single DBP junction, that is constructive to propose a useful but simple strategy for the design and construction of reversible and controllable molecular device based on pyridine derived molecule.     

Synthesis of yolk-shell Bi2O3@TiO2 submicrospheres with enhanced potassium storage

Science China Chemistry - Due to their enormous potential for large-scale energy storage, rechargeable potassium-ion batteries have been widely researched and developed. However, the drastic volume...     

Electrochemical dehydrogenative N–H/N–H coupling reactions

The N–N bond is present in many important organic compounds, such as hydrazines, pyrazoles, azos, etc. Many methods based on transition metal catalyzed N–N coupling or functionalization of hydrazine have been reported for the synthesis of N–N containing organic compounds. In recent years, electrochemical dehydrogenative N–H/N–H coupling has become a powerful tool for the construction of N–N bearing organic compounds. The electrochemical methods employ electrons as traceless redox reagents instead of chemicals and produce hydrogen as the only byproduct. In this review, we summarize the recent advances in the electrochemical dehydrogenative N–H/N–H coupling reactions with focus on the mechanistic insights and synthetic applications of these transformations.     

加强型Bi-2212超导股线有限元拉伸性能分析

为探究加强型Bi-2212超导股线的力学性能以及不锈钢包带对超导股线力学性能的影响，运用Ansys软件建立加强型Bi-2212超导股线的三维模型，采用有限元分析方法，对其机械结构进行仿真，模拟高温高压热处理后轴向受拉形变量和应力应变分布情况。仿真结果显示，在同样施加100 N拉力的情况下，与超导原线（Bi-2212超导线）相比，密绕Ni₈₀Cr₂₀包带后的加强型Bi-2212超导股线轴向受拉形变程度减小，约10%;应力应变均降低，约30%。采用Ni₈₀Cr₂₀作为外包带制成的加强型Bi-2212超导股线力学性能显著，是未来超导线发展方向之一。